$X$ $\leq$ $Y$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$s$:(\{0..$n$$^{-}$\}$\rightarrow$Outcome). $X$($s$) $\leq$ $Y$($s$)